Skip to content

chore(main): release 0.11.3#1241

Merged
Taepper merged 1 commit into
mainfrom
release-please--branches--main
May 18, 2026
Merged

chore(main): release 0.11.3#1241
Taepper merged 1 commit into
mainfrom
release-please--branches--main

Conversation

@github-actions
Copy link
Copy Markdown
Contributor

@github-actions github-actions Bot commented Apr 30, 2026

🤖 I have created a release beep boop

0.11.3 (2026-05-18)

Features

  • silo: add a MutationProfile filter (2d49d9b)

This PR was generated with Release Please. See documentation.

@github-actions github-actions Bot force-pushed the release-please--branches--main branch 2 times, most recently from 610181f to 8178744 Compare May 12, 2026 05:26
@github-actions github-actions Bot force-pushed the release-please--branches--main branch from 8178744 to bfffc38 Compare May 18, 2026 08:33
@Taepper Taepper merged commit 0b33db2 into main May 18, 2026
@Taepper Taepper deleted the release-please--branches--main branch May 18, 2026 08:39
@github-actions
Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant